Un peut avoir plusieurs niveaux de « résolution » : - : Prouve si le premier joueur va gagner, perdre ou faire match nul à partir de la position initiale, en supposant le jeu parfait des deux côtés. Cela peut être une preuve non-constructive (avec éventuellement une ) qui n`a pas besoin...